/// 
/// MaDAson - Toolkit for Model Driven Software Development
/// 
/// Copyright [2006] Marcus Lankenau
/// 
/// Licensed under the Apache License, Version 2.0 (the "License");
/// you may not use this file except in compliance with the License.
/// You may obtain a copy of the License at
///  
///     http://www.apache.org/licenses/LICENSE-2.0
///  
/// Unless required by applicable law or agreed to in writing, software
/// distributed under the License is distributed on an "AS IS" BASIS,
/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
/// See the License for the specific language governing permissions and
/// limitations under the License.
/// 

using System;
using System.Collections.Generic;
using System.Text;
using NUnit.Core;
using NUnit.Framework;
using Madason.MetaModel.Validation;


namespace Madason.MetaModel.Tests
{
	[TestFixture]
	public class TestChoicePoint
	{

		[Test]
		public void TestChoicePointOutcomesAtLeastOneCond()
		{
			State choicePoint = new State();
			choicePoint.Name = "SomeChoice";
			choicePoint.StateType = StateType.Branch;
			StateTransition trans1 = new StateTransition();
			choicePoint.Transitions.Add(trans1);
			trans1.Source = choicePoint;

			ValidationIssueList validationIssues = new ValidationIssueList();
			choicePoint.Validate(validationIssues);
			Assert.IsTrue(validationIssues.ContainsMessage(State.ERROR_CHOICEPOINT_NEED_ONE_CONDITION), "Choicepoint shall fail, since there is no transition with condition term");
		}

		[Test]
		public void TestChoicePointOutcomesOnlyOneWithoutCond()
		{
			State choicePoint = new State();
			choicePoint.Name = "SomeChoice";
			choicePoint.StateType = StateType.Branch;
			StateTransition trans1 = new StateTransition();
			choicePoint.Transitions.Add(trans1);
			trans1.Source = choicePoint;
			StateTransition trans2 = new StateTransition();
			choicePoint.Transitions.Add(trans2);
			trans2.Source = choicePoint;

			ValidationIssueList validationIssues = new ValidationIssueList();
			choicePoint.Validate(validationIssues);
			Assert.IsTrue(validationIssues.ContainsMessage(State.ERROR_CHOICEPOINT_ONLY_ONE_ELSE), "Choicepoint shall fail, since there is more then one else transitions");
		}

	}
}
